Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
811	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: distrib-coffee.ipsl.jussieu.fr Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
812	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.selfnet.de Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
813	Seeing Systolic Computations in a Video Game World Ken Kahn A paper submitted to VL’96: IEEE Symposium on Visual Languages, February 12, 1996 (Published September 1996 version not available) Animated Programs San Mateo Add to Reading List Source URL: www.toontalk.com Language: English - Date: 2008-04-09 17:20:21 Visual programming languages Theoretical computer science ToonTalk Janus Computability theory Computation Actor model E Robot Computing Software engineering Computer programming
814	Symbolic Computation for Electronic Publishng Michael P. Barnett Department of Computer and Information Science, Brooklyn College of the City University of New York, Brooklyn, NY[removed]Internet: b a r n e t t e i t s . b Add to Reading List Source URL: www.tug.org Language: English - Date: 2011-10-16 21:02:52 Functions and mappings Computability theory Combinatory logic Lambda calculus Logic in computer science Function Big O notation Primitive recursive function Jan Willem Klop Mathematics Mathematical analysis Theoretical computer science
815	Overcoming the Worst-Case Curse for Cryptographic Constructions Shafi Goldwasser⋆ Yael Kalai† Raluca Ada Popa⋆ Vinod Vaikuntanathan◃▹ Add to Reading List Source URL: people.csail.mit.edu Language: English Turing machine Cryptography Models of computation Homomorphic encryption Computability Alan Turing Advice PP NP Theoretical computer science Applied mathematics Computational complexity theory
816	How to Run Turing Machines on Encrypted Data Shafi Goldwasser⋆ Yael Kalai† Raluca Ada Popa⋆ ◃▹ Vinod Vaikuntanathan Add to Reading List Source URL: people.csail.mit.edu Language: English Computational complexity theory Computability theory Complexity classes Universal Turing machine Homomorphic encryption Computability Alan Turing Advice Algorithm Theoretical computer science Applied mathematics Turing machine
817	Activities associated with Can animals and machines be persons? — JP 1 Part 1: What are persons? Description In this activity, students deepen their understanding by being challenged with the question, “Can anima Add to Reading List Source URL: www.exploringcs.org Language: English - Date: 2013-02-13 14:29:59 Artificial intelligence Theoretical computer science Philosophy of artificial intelligence Computability theory Human–computer interaction Turing test Justin Leiber Personhood Person Alan Turing Turing machine British people
818	Microsoft Word - Estimates Bulletin 13-XX New Comp Book Process Add to Reading List Source URL: www.dot.state.fl.us Language: English - Date: 2013-08-23 11:21:17 Theoretical computer science Computability theory Computation
819	Theoretical Computer Science[removed] – 297 www.elsevier.com/locate/tcs The computational power of Benenson automata David Soloveichik∗ , Erik Winfree Department of CNS, California Institute of Technology, MC 1 Add to Reading List Source URL: dna.caltech.edu Language: English - Date: 2005-11-05 11:39:16 Computer science Applied mathematics Formal languages DNA computing Molecular biology Finite-state machine Alphabet Computability Nested word Automata theory Models of computation Theoretical computer science
820	Deterministic Function Computation with Chemical Reaction Networks∗ Ho-Lin Chen† David Doty‡ Add to Reading List Source URL: solo.ucsf.edu Language: English - Date: 2013-08-31 02:02:06 Computability theory Functions and mappings Theory of computation Function Computable function Combinatory logic Randomized algorithm Theoretical computer science Mathematics Applied mathematics

UPDATE